#desarrollo de tutor

Hacia un Tutor de Demostraciones Matemáticas de IA Verificado

Desarrollo de un Tutor de Demostraciones Matemáticas Inteligente Verificado para facilitar el aprendizaje de estudiantes de matemáticas.